Tag quantos números naturais de quatro algarismos podem ser formados